Singmaster's conjecture

In combinatorial number theory, Singmaster's conjecture, named after David Singmaster, says there is a finite upper bound on the multiplicities of entries in Pascal's triangle (other than the number 1, which appears infinitely many times). It is clear that the only number that appears infinitely many times in Pascal's triangle is 1, because any other number x can appear only within the first x + 1 rows of the triangle. Paul Erdős said that Singmaster's conjecture is probably true but he suspected it would be very hard to prove.

Let N(a) be the number of times the number a > 1 appears in Pascal's triangle. In big O notation, the conjecture is:

$N(a) = O(1).\,$

1 Known results
2 Numerical examples
- 2.1 Do any numbers appear exactly five or seven times?
3 See also
4 References
5 External links

Known results

Singmaster (1971) showed that

$N(a) = O(\log a).\,$

Abbot, Erdős, and Hanson (see References) refined the estimate. The best currently known (unconditional) bound is

$N(a) = O\left(\frac{(\log a)(\log \log \log a)}{(\log \log a)^3}\right),\,$

and is due to Kane (2007). Abbot, Erdős, and Hanson note that conditional on Cramér's conjecture on gaps between consecutive primes that

$N(a) = O\left( \log(a)^{2/3%2B\epsilon}\right)$

holds for any $\epsilon > 0$ .

Singmaster (1975) showed that the Diophantine equation

${n%2B1 \choose k%2B1} = {n \choose k%2B2},$

has infinitely many solutions for the two variables n, k. It follows that there are infinitely many entries of multiplicity at least 6. The solutions are given by

$n = F_{2i%2B2} F_{2i%2B3} - 1,\,$

$k = F_{2i} F_{2i%2B3} - 1,\,$

where F_n is the nth Fibonacci number (indexed according to the convention that F₁ = F₂ = 1).

Numerical examples

Computation tells us that

2 appears just once; all larger positive integers appear more than once;

3, 4, 5 each appear 2 times;

6 appears 3 times;

Many numbers appear 4 times.

Each of the following appears 6 times:

${120 \choose 1} = {16 \choose 2} = {10 \choose 3}$

${210 \choose 1} = {21 \choose 2} = {10 \choose 4}$

${1540 \choose 1} = {56 \choose 2} = {22 \choose 3}$

${7140 \choose 1} = {120 \choose 2} = {36 \choose 3}$

${11628 \choose 1} = {153 \choose 2} = {19 \choose 5}$

${24310 \choose 1} = {221 \choose 2} = {17 \choose 8}$

The smallest number to appear 8 times is 3003, which is also the first member of Singmaster's infinite family of numbers with multiplicity at least 6:

${3003 \choose 1} = {78 \choose 2} = {15 \choose 5} = {14 \choose 6}$

The next number in Singmaster's infinite family, and the next smallest number known to occur six or more times, is 61218182743304701891431482520.

It is not known whether any number appears more than eight times, nor whether any number besides 3003 appears that many times. The conjectured finite upper bound could be as small as 8, but Singmaster thought it might be 10 or 12.

Do any numbers appear exactly five or seven times?

It would appear from a related entry, (sequence A003015 in OEIS) in the Online Encyclopedia of Integer Sequences, that no one knows whether the equation N(a) = 5 can be solved for a. Nor is it known whether any number appears seven times.

References

Singmaster, D. (1971), "Research Problems: How often does an integer occur as a binomial coefficient?", American Mathematical Monthly 78 (4): 385–386, doi:10.2307/2316907, JSTOR 2316907, MR 1536288 .

Singmaster, D. (1975), "Repeated binomial coefficients and Fibonacci numbers", Fibonacci Quarterly 13 (4): 295–298, MR 0412095, http://www.fq.math.ca/Scanned/13-4/singmaster.pdf .

Abbott, H. L.; Erdős, P.; Hanson, D. (1974), "On the number of times an integer occurs as a binomial coefficient", American Mathematical Monthly 81 (3): 256–261, doi:10.2307/2319526, JSTOR 2319526, MR 0335283 .

Kane, Daniel M. (2007), "Improved bounds on the number of ways of expressing t as a binomial coefficient", Integers: Electronic Journal of Combinatorial Number Theory 7: #A53, MR 2373115, http://www.emis.de/journals/INTEGERS/papers/h53/h53.pdf .

External links

(sequence A003016 in OEIS) (OEIS = Online Encyclopedia of Integer Sequences)